Search Results
Andre Knispel - Axiomatic set theory with ur-elements and its applications
J. Hamkins:The surprising strength of reflection in second-order set theory with abundant urelements
Vedran Čačić - New approach to New Foundations (with Urelements)
Urelement
[3S2] Modalities in Type Theory (Alex Gryzlou)
"Constructive Real Numbers in the Agda Proof Assistant", talk by Zach Murray at CQTS @ NYU Abu Dhabi
![[3S2] Modalities in Type Theory (Alex Gryzlou)](https://img.youtube.com/vi/SLJDwhRg5Yk/hqdefault.jpg)